More from this Author
Found 7 books by Helmut Veith (Editor)
Handbook of Model Checking
by Edmund M. Clarke (Editor), Thomas A. Henzinger (Editor), Helmut Veith (Editor), Roderick Bloem (Editor)
Handbook of Model Checking
by Edmund M. Clarke (Editor), Thomas A. Henzinger (Editor), Helmut Veith (Editor), Roderick Bloem (Editor)
Computer Aided Verification
by Natasha Sharygina (Editor), Helmut Veith (Editor)
Computer Aided Verification
by Natasha Sharygina (Editor), Helmut Veith (Editor)
Computer Science Logic
by Anuj Dawar (Editor), Helmut Veith (Editor)
Computer Aided Verification
by Natasha Sharygina (Editor), Helmut Veith (Editor)
Handbook of Model Checking
by Edmund M. Clarke (Editor), Thomas A. Henzinger (Editor), Helmut Veith (Editor), Roderick Bloem (Editor)